📼 Tape Combinators

Sequential Programming Models, Linear Processing, Magnetic Computation, Storage Abstractions

An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·12h
💎Information Crystallography
Slip – A Lisp System in JavaScript
lisperator.net·8h·
Discuss: Hacker News
🔗Lisp
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·18h
📼Cassette Combinators
Multi-Core By Default
rfleury.com·20h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·2h·
Discuss: DEV
⚡Incremental Computation
A Manifesto for the Programming Desperado
github.com·6h·
Discuss: Hacker News
💻Programming languages
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Graph Isomorphism
The Library Method: Understanding @cache
dev.to·20h·
Discuss: DEV
⚡Cache Theory
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·12h·
Discuss: Substack
🔲Cellular Automata
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
GoMem is a high-performance memory allocator library for Go
github.com·19h
🧠Memory Allocators
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·3h·
Discuss: DEV
💾Storage Replication
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Experimenting with ACL2 and Claude Code
mikedodds.org·9h·
Discuss: Hacker News
👑Isabelle
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·8h·
Discuss: Hacker News
🌐Protocol Synthesis